منابع مشابه
Models for command-response interfaces
It is only relatively recently that in computer science we have begin to exploit the idea that proofs are essentially executable programs, although it emerged from intuitionistic mathematics some decades before the first digital computers ran programs. One application, as it were from logic to computer science, has been in the design of ever more expressive type systems for programming. The sit...
متن کاملresponse articles: micro and macro analysis
the present study reports an analysis of response articles in four different disciplines in the social sciences, i.e., linguistics, english for specific purposes (esp), accounting, and psychology. the study has three phases: micro analysis, macro analysis, and e-mail interview. the results of the micro analysis indicate that a three-level linguistic pattern is used by the writers in order to cr...
15 صفحه اولA constructive and predicative model of command-response interfaces
The idea that proofs are programs has had a long history. The situation is currently that proof-checkers have been implemented for a range of type-theories that are at the same time type-checkers for a dependently typed functional programming language. The interest of dependent types for programming is that program specifications (problem statements) are expressed as types; dependent types are ...
متن کاملAlarm pheromones-chemical signaling in response to danger.
Many animals respond to the threat of predation by producing alarm signals that warn other individuals of the presence of danger or otherwise reduce the success of predators. While alarm signals may be visual or auditory as well as chemical, alarm pheromones are common, especially among insects and aquatic organisms. Plants too emit chemical signals in response to attack by insect herbivores th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Prehospital and Disaster Medicine
سال: 1998
ISSN: 1049-023X,1945-1938
DOI: 10.1017/s1049023x00038176